منابع مشابه
Structured Lucid ∗
Structured Lucid is an ISWIM-like language formed by combining Basic Lucid and USWIM. Structured Lucid is almost a member of the USWIM family, except that a distinction is made between two kinds of function variables: those which denote functions mapping streams (histories) of data objects to streams of data objects, and those which denote streams of functions mapping data objects to data objec...
متن کاملLucid Representations
This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...
متن کاملLucid, Inc.
Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...
متن کاملHigher-Order Lucid∗
In this paper we remedy one of the most annoying weaknesses of Lucid and indexical languages in general: the lack of higher-order functions. We describe a simple generalization of the “place-code” approach (as discovered by Ostrum and formalized by Yaghi) which handles programs with functions of arbitrarily high orders; in other words, typed Iswim. A source program P with function definitions (...
متن کاملCMD-2 Detector Upgrade
The project of upgrading the detector CMD-2 is presented. The upgraded detector is called CMD-2M and is going to take data with the new collider VEPP-2000 at BINP. The general structure of the detector CMD-2 will remain as is but major parameters of the detector, such as momentum and angular resolution for charged particle and energy and spatial resolution for photons, will be substantially imp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPJ Web of Conferences
سال: 2018
ISSN: 2100-014X
DOI: 10.1051/epjconf/201818202112